힌들리-밀너 타입 추론 - Unisquads Wiki